An Executable Formal Semantics of PHP (Englisch)
- Neue Suche nach: Filaretti, Daniele
- Neue Suche nach: Maffeis, Sergio
- Neue Suche nach: Filaretti, Daniele
- Neue Suche nach: Maffeis, Sergio
In:
ECOOP 2014 – Object-Oriented Programming
7
;
567-592
;
2014
- Aufsatz/Kapitel (Buch) / Elektronische Ressource
-
Titel:An Executable Formal Semantics of PHP
-
Beteiligte:Filaretti, Daniele ( Autor:in ) / Maffeis, Sergio ( Autor:in )
-
Erschienen in:ECOOP 2014 – Object-Oriented Programming , 7 ; 567-592Lecture Notes in Computer Science ; 8586, 7 ; 567-592
-
Verlag:
- Neue Suche nach: Springer Berlin Heidelberg
-
Erscheinungsort:Berlin, Heidelberg
-
Erscheinungsdatum:01.01.2014
-
Format / Umfang:26 pages
-
ISBN:
-
ISSN:
-
DOI:
-
Medientyp:Aufsatz/Kapitel (Buch)
-
Format:Elektronische Ressource
-
Sprache:Englisch
-
Schlagwörter:
-
Datenquelle:
Inhaltsverzeichnis E-Book
Die Inhaltsverzeichnisse werden automatisch erzeugt und basieren auf den im Index des TIB-Portals verfügbaren Einzelnachweisen der enthaltenen Beiträge. Die Anzeige der Inhaltsverzeichnisse kann daher unvollständig oder lückenhaft sein.
- 1
-
State-Sensitive Points-to Analysis for the Dynamic Behavior of JavaScript ObjectsWei, Shiyi / Ryder, Barbara G. et al. | 2014
- 27
-
Self-inferencing Reflection Resolution for JavaLi, Yue / Tan, Tian / Sui, Yulei / Xue, Jingling et al. | 2014
- 54
-
Constructing Call Graphs of Scala ProgramsAli, Karim / Rapoport, Marianna / Lhoták, Ondřej / Dolby, Julian / Tip, Frank et al. | 2014
- 80
-
Finding Reference-Counting Errors in Python/C Programs with Affine AnalysisLi, Siliang / Tan, Gang et al. | 2014
- 105
-
Safely Composable Type-Specific LanguagesOmar, Cyrus / Kurilova, Darya / Nistor, Ligia / Chung, Benjamin / Potanin, Alex / Aldrich, Jonathan et al. | 2014
- 131
-
Graceful DialectsHomer, Michael / Jones, Timothy / Noble, James / Bruce, Kim B. / Black, Andrew P. et al. | 2014
- 157
-
Structuring Documentation to Support State Search: A Laboratory Experiment about Protocol ProgrammingSunshine, Joshua / Herbsleb, James D. / Aldrich, Jonathan et al. | 2014
- 182
-
Reusable Concurrent Data TypesGramoli, Vincent / Guerraoui, Rachid et al. | 2014
- 207
-
TaDA: A Logic for Time and Data AbstractionRocha Pinto, Pedro / Dinsdale-Young, Thomas / Gardner, Philippa et al. | 2014
- 232
-
Infrastructure-Free Logging and Replay of Concurrent Execution on Multiple CoresLee, Kyu Hyung / Kim, Dohyeong / Zhang, Xiangyu et al. | 2014
- 257
-
Understanding TypeScriptBierman, Gavin / Abadi, Martín / Torgersen, Mads et al. | 2014
- 282
-
Sound and Complete Subtyping between Coinductive Types for Object-Oriented LanguagesAncona, Davide / Corradi, Andrea et al. | 2014
- 308
-
Spores: A Type-Based Foundation for Closures in the Age of Concurrency and DistributionMiller, Heather / Haller, Philipp / Odersky, Martin et al. | 2014
- 334
-
Rely-Guarantee ProtocolsMilitão, Filipe / Aldrich, Jonathan / Caires, Luís et al. | 2014
- 360
-
Stream Processing with a SpreadsheetVaziri, Mandana / Tardieu, Olivier / Rabbah, Rodric / Suter, Philippe / Hirzel, Martin et al. | 2014
- 385
-
Implicit Staging of EDSL Expressions: A Bridge between Shallow and Deep EmbeddingScherr, Maximilian / Chiba, Shigeru et al. | 2014
- 411
-
Babelsberg/JSFelgentreff, Tim / Borning, Alan / Hirschfeld, Robert / Lincke, Jens / Ohshima, Yoshiki / Freudenberg, Bert / Krahn, Robert et al. | 2014
- 437
-
Automated Multi-Language Artifact Binding and Rename Refactoring between Java and DSLs Used by Java FrameworksMayer, Philip / Schroeder, Andreas et al. | 2014
- 463
-
Retargetting Legacy Browser Extensions to Modern Extension FrameworksKarim, Rezwana / Dhawan, Mohan / Ganapathy, Vinod et al. | 2014
- 489
-
Capture-Avoiding and Hygienic Program TransformationsErdweg, Sebastian / Storm, Tijs / Dai, Yi et al. | 2014
- 515
-
Converting Parallel Code from Low-Level Abstractions to Higher-Level AbstractionsOkur, Semih / Erdogan, Cansu / Dig, Danny et al. | 2014
- 541
-
Portable and Efficient Run-time Monitoring of JavaScript Applications Using Virtual Machine LayeringLavoie, Erick / Dufour, Bruno / Feeley, Marc et al. | 2014
- 567
-
An Executable Formal Semantics of PHPFilaretti, Daniele / Maffeis, Sergio et al. | 2014
- 593
-
Identifying Mandatory Code for Framework Use via a Single Application TraceNitta, Naoya / Kume, Izuru / Takemura, Yasuhiro et al. | 2014
- 618
-
Cooperative Scheduling of Parallel Tasks with General Synchronization PatternsImam, Shams / Sarkar, Vivek et al. | 2014
- 644
-
MiCA: A Compositional Architecture for Gossip ProtocolsPrincehouse, Lonnie / Chenchu, Rakesh / Jiang, Zhefu / Birman, Kenneth P. / Foster, Nate / Soulé, Robert et al. | 2014
- 670
-
Semantics of (Resilient) X10Crafa, Silvia / Cunningham, David / Saraswat, Vijay / Shinnar, Avraham / Tardieu, Olivier et al. | 2014