|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 641 occurrences of 374 keywords
|
|
|
Results
Found 693 publication records. Showing 693 according to the selection in the facets
Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
10 | Martin Bever, Peter C. Lockemann |
Database Hosting in Strongly-Typed Programming Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Database Syst. ![In: ACM Trans. Database Syst. 10(1), pp. 107-126, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
|
10 | Robert E. Strom |
Mechanisms for Compile-Time Enforcement of Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Tenth Annual ACM Symposium on Principles of Programming Languages, Austin, Texas, USA, January 1983, pp. 276-284, 1983, ACM Press, 0-89791-090-7. The full citation details ...](Pics/full.jpeg) |
1983 |
DBLP DOI BibTeX RDF |
|
9 | Shan Shan Huang, Yannis Smaragdakis |
Expressive and safe static reflection with MorphJ. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PLDI ![In: Proceedings of the ACM SIGPLAN 2008 Conference on Programming Language Design and Implementation, Tucson, AZ, USA, June 7-13, 2008, pp. 79-89, 2008, ACM, 978-1-59593-860-2. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
class morphing, structural abstraction, object-oriented programming, aspect-oriented programming, meta-programming, language extensions |
9 | Tom Schrijvers, Maurice Bruynooghe, John P. Gallagher |
From Monomorphic to Polymorphic Well-Typings and Beyond. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LOPSTR ![In: Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers, pp. 152-167, 2008, Springer, 978-3-642-00514-5. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
9 | Joseph Gil, Keren Lenz |
Simple and safe SQL queries with c++ templates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, 6th International Conference, GPCE 2007, Salzburg, Austria, October 1-3, 2007, Proceedings, pp. 13-24, 2007, ACM, 978-1-59593-855-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
structural type equivalence, template programming, databases, C++, domain specific languages, relational algebra, embedded languages |
9 | Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey |
A Framework for Extended Algebraic Data Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FLOPS ![In: Functional and Logic Programming, 8th International Symposium, FLOPS 2006, Fuji-Susono, Japan, April 24-26, 2006, Proceedings, pp. 47-64, 2006, Springer, 3-540-33438-6. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Ingrid Chieh Yu, Einar Broch Johnsen, Olaf Owe |
Type-Safe Runtime Class Upgrades in Creol. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FMOODS ![In: Formal Methods for Open Object-Based Distributed Systems, 8th IFIP WG 6.1 International Conference, FMOODS 2006, Bologna, Italy, June 14-16, 2006, Proceedings, pp. 202-217, 2006, Springer, 3-540-34893-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Mats Kindahl |
Review of "Types and Programming Languages by Benjamin C. Pierce"; The MIT Press, 2002. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGACT News ![In: SIGACT News 36(1), pp. 15-20, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Kostas Saidis, George Pyrounakis, Mara Nikolaidou |
On the Effective Manipulation of Digital Objects: A Prototype-Based Instantiation Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECDL ![In: Research and Advanced Technology for Digital Libraries, 9th European Conference, ECDL 2005, Vienna, Austria, September 18-23, 2005, Proceedings, pp. 13-24, 2005, Springer, 3-540-28767-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
9 | Bor-Yuh Evan Chang, Adam Chlipala, George C. Necula, Robert R. Schneck |
The open verifier framework for foundational verifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TLDI ![In: Proceedings of TLDI'05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005, pp. 1-12, 2005, ACM, 1-58113-999-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
language-based security, proof-carrying code, typed assembly language |
9 | Todd D. Millstein |
Practical predicate dispatch. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA ![In: Proceedings of the 19th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2004, October 24-28, 2004, Vancouver, BC, Canada, pp. 345-364, 2004, ACM, 1-58113-831-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
dynamic dispatch, predicate dispatch, modular typechecking |
9 | Gregory Neverov, Paul Roe |
Metaphor: A Multi-stage, Object-Oriented Programming Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering: Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings, pp. 168-185, 2004, Springer, 3-540-23580-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Luigi Liquori, Bernard P. Serpette |
iRho: an imperative rewriting calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 6th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 24-26 August 2004, Verona, Italy, pp. 167-178, 2004, ACM, 1-58113-819-9. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
certied software, rewriting-calculus, pattern-matching, types, term rewriting systems, natural semantics |
9 | James Riely, Matthew Hennessy |
Trust and Partial Typing in Open Systems of Mobile Agents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 31(3-4), pp. 335-370, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
partial typing, trust, type safety |
9 | Stephen N. Freund, John C. Mitchell |
A Type System for the Java Bytecode Language and Verifier. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Autom. Reason. ![In: J. Autom. Reason. 30(3-4), pp. 271-321, 2003. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
type systems, Java Virtual Machine, bytecode verification |
9 | Walid Taha |
A Gentle Introduction to Multi-stage Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Domain-Specific Program Generation ![In: Domain-Specific Program Generation, International Seminar, Dagstuhl Castle, Germany, March 23-28, 2003, Revised Papers, pp. 30-50, 2003, Springer, 3-540-22119-0. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Walid Taha, Michael Florentin Nielsen |
Environment classifiers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of POPL 2003: The 30th SIGPLAN-SIGACT Symposium on Principles of Programming Languages, New Orleans, Louisisana, USA, January 15-17, 2003, pp. 26-37, 2003, ACM, 1-58113-628-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
type systems, modal logic, type safety, linear temporal logic, multi-stage programming |
9 | Janna Khegai, Bengt Nordström, Aarne Ranta |
Multilingual Syntax Editing in GF. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CICLing ![In: Computational Linguistics and Intelligent Text Processing, 4th International Conference, CICLing 2003, Mexico City, Mexico, February 16-22, 2003, Proceedings, pp. 453-464, 2003, Springer, 3-540-00532-3. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Jana Dunfield, Frank Pfenning |
Type Assignment for Intersections and Unions in Call-by-Value Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FoSSaCS ![In: Foundations of Software Science and Computational Structures, 6th International Conference, FOSSACS 2003 Held as Part of the Joint European Conference on Theory and Practice of Software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003, Proceedings, pp. 250-266, 2003, Springer, 3-540-00897-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Walid Taha, Patricia Johann |
Staged Notational Definitions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPCE ![In: Generative Programming and Component Engineering, Second International Conference, GPCE 2003, Erfurt, Germany, September 22-25, 2003, Proceedings, pp. 97-116, 2003, Springer, 3-540-20102-5. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Andres Löh, Dave Clarke 0001, Johan Jeuring |
Dependency-style generic Haskell. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003, pp. 141-152, 2003, ACM, 1-58113-756-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
generic haskell, functional programming, type systems, generic programming |
9 | Toshiyuki Maeda, Akinori Yonezawa |
Kernel Mode Linux: Toward an Operating System Protected by a Type Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASIAN ![In: Advances in Computing Science - ASIAN 2003 Programming Languages and Distributed Computation, 8th Asian Computing Science Conference, Mumbai, India, December 10-14, 2003, Proceedings, pp. 3-17, 2003, Springer, 3-540-20632-9. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Libin Wang, Kefei Chen |
A Typed Theory for Access Control and Information Flow Control in Mobile Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACISP ![In: Information Security and Privacy, 8th Australasian Conference, ACISP 2003, Wollongong, Australia, July 9-11, 2003, Proceedings, pp. 154-165, 2003, Springer, 3-540-40515-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
9 | Ahmet Mutlu, Mustafa Ege |
Java-XCOM Component Integration on Linux Operating System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 29th EUROMICRO Conference 2003, New Waves in System Architecture, 3-5 September 2003, Belek-Antalya, Turkey, pp. 70-75, 2003, IEEE Computer Society, 0-7695-1996-2. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
java-c++ integration, native component, xcom bridge, omniidl, IDL, jni |
9 | Jens P. Secher, Morten Heine Sørensen |
From checking to inference via driving and dag grammars. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2002 ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation (PEPM '02), Portland, Oregon, USA, January 14-15, 2002, pp. 41-51, 2002, ACM, 1-58113-455-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
inference, supercompilation, program inversion |
9 | Andrew W. Appel, Amy P. Felty |
A Semantic Model of Types and Machine Instructions for Proof-Carrying Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: POPL 2000, Proceedings of the 27th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Boston, Massachusetts, USA, January 19-21, 2000, pp. 243-253, 2000, ACM, 1-58113-125-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
9 | R. Sekar 0001, Y. Guang, S. Verma, T. Shanbhag |
A High-Performance Network Intrusion Detection System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CCS ![In: CCS '99, Proceedings of the 6th ACM Conference on Computer and Communications Security, Singapore, November 1-4, 1999., pp. 8-17, 1999, ACM, 1-58113-148-8. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
9 | Flemming Nielson, Hanne Riis Nielson |
Type and Effect Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Correct System Design ![In: Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel), pp. 114-136, 1999, Springer, 3-540-66624-9. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
Polymorphic type systems, effect annotations, subeffecting and subtyping, type inference algorithms, syntactic soundness and completeness, Analyses for control flow, binding times, region structure and communication structure, side effects, semantic correctness |
9 | Oukseh Lee, Kwangkeun Yi |
Proofs about a Folklore Let-Polymorphic Type Inference Algorithm. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 20(4), pp. 707-723, 1998. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
type inference algorithm, type error |
9 | Franz Puntigam |
Synchronization Expressed in Types of Communication Channels. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Euro-Par, Vol. I ![In: Euro-Par '96 Parallel Processing, Second International Euro-Par Conference, Lyon, France, August 26-29, 1996, Proceedings, Volume I, pp. 762-769, 1996, Springer, 3-540-61626-8. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
9 | Nenad Medvidovic, Peyman Oreizy, Jason E. Robbins, Richard N. Taylor |
Using Object-Oriented Typing to Support Architectural Design in the C2 Style. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGSOFT FSE ![In: Proceedings of the Fourth ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT1996, San Francisco, California, USA, October 16-18, 1996, pp. 24-32, 1996, ACM, 978-0-89791-797-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
C++ |
9 | Bernd Holzmüller |
Extending the Object-Orientedness of Ada 95. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Ada-Europe ![In: Reliable Software Technologies - Ada-Europe '96, 1996 Ada-Europe International Conference on Reliable Software Technologies, Montreux, Switzerland, June 10-14, 1996, Proceedings, pp. 357-369, 1996, Springer, 3-540-61317-X. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
flexible type concepts, tagged types, language evaluation, polymorphism, object-oriented languages, Ada 95, dispatching, multi-methods |
9 | Giuseppe Castagna |
A Meta-Language for Typed Object-Oriented Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FSTTCS ![In: Foundations of Software Technology and Theoretical Computer Science, 13th Conference, Bombay, India, December 15-17, 1993, Proceedings, pp. 52-71, 1993, Springer, 3-540-57529-4. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
9 | Edward Wang, Paul N. Hilfinger |
Analysis of Recursive Types in Lisp-Like Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the Conference on Lisp and Functional Programming, LFP 1992, San Francisco, California, USA, 22-24 June 1992., pp. 216-225, 1992, ACM, 0-89791-481-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
9 | Uday S. Reddy |
A Typed Foundation for Directional Logic Programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ELP ![In: Extensions of Logic Programming, Third International Workshop, ELP'92, Bologna, Italy, February 26-28, 1992, Proceedings, pp. 282-318, 1992, Springer, 3-540-56454-3. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
Directionality, types, linear logic, sequent calculus, modes, concurrent logic programming, Curry-Howard isomorphism, logic variables |
9 | J. Michael Spivey, Bernard Sufrin |
Type Inference in Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDM Europe ![In: VDM '90, VDM and Z - Formal Methods in Software Development, Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, Proceedings, pp. 426-451, 1990, Springer, 3-540-52513-0. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
9 | Robert Harper 0001, John C. Mitchell, Eugenio Moggi |
Higher-Order Modules and the Phase Distinction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
POPL ![In: Conference Record of the Seventeenth Annual ACM Symposium on Principles of Programming Languages, San Francisco, California, USA, January 1990, pp. 341-354, 1990, ACM Press, 0-89791-343-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
ML |
9 | Michael I. Schwartzbach |
Static Correctness of Hierarchical Procedures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP ![In: Automata, Languages and Programming, 17th International Colloquium, ICALP90, Warwick University, England, UK, July 16-20, 1990, Proceedings, pp. 32-45, 1990, Springer, 3-540-52826-1. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
9 | Carsten K. Gomard |
Partial Type Inference for Untyped Functional Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LISP and Functional Programming ![In: Proceedings of the 1990 ACM Conference on LISP and Functional Programming, LFP 1990, Nice, France, 27-29 June 1990., pp. 282-287, 1990, ACM, 0-89791-368-X. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
9 | Pierre-Louis Curien, Giorgio Ghelli |
Coherence of Subsumption. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAAP ![In: CAAP '90, 15th Colloquium on Trees in Algebra and Programming, Copenhagen, Denmark, May 15-18, 1990, Proceedings, pp. 132-146, 1990, Springer, 3-540-52590-4. The full citation details ...](Pics/full.jpeg) |
1990 |
DBLP DOI BibTeX RDF |
|
9 | Andrew Cirillo, Radha Jagadeesan, Corin Pitcher, James Riely |
Do As I SaY! Programmatic Access Control with Explicit Identities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSF ![In: 20th IEEE Computer Security Foundations Symposium, CSF 2007, 6-8 July 2007, Venice, Italy, pp. 16-30, 2007, IEEE Computer Society, 0-7695-2819-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
9 | Lieven Desmet, Frank Piessens, Wouter Joosen, Pierre Verbaeten |
Static Verification of Indirect Data Sharing in Loosely-coupled Component Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SC@ETAPS ![In: Software Composition - 5th International Symposium, SC@ETAPS 2006, Vienna, Austria, March 25-26, 2006, Revised Papers, pp. 34-49, 2006, Springer, 3-540-37657-7. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
9 | Jin Song Dong, Ping Hao, Xian Zhang 0007, Shengchao Qin |
HighSpec: a tool for building and checking OZTA models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 28th International Conference on Software Engineering (ICSE 2006), Shanghai, China, May 20-28, 2006, pp. 775-778, 2006, ACM, 1-59593-375-1. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
verification, timed automata, object-Z, structural design |
9 | Pierre Genevès, Nabil Layaïda |
Comparing XML path expressions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Symposium on Document Engineering ![In: Proceedings of the 2006 ACM Symposium on Document Engineering, Amsterdam, The Netherlands, October 10-13, 2006, pp. 65-74, 2006, ACM, 1-59593-515-0. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
analysis, experimentation, XPath |
9 | Hanna Bauerdick, Martin Gogolla, Fabian Gutsche |
Detecting OCL Traps in the UML 2.0 Superstructure: An Experience Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UML ![In: «UML» 2004 - The Unified Modelling Language: Modelling Languages and Applications. 7th International Conference, Lisbon, Portugal, October 11-15, 2004. Proceedings, pp. 188-196, 2004, Springer, 3-540-23307-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
9 | Giuseppe Del Castillo, Kirsten Winter |
Model Checking Support for the ASM High-Level Language. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TACAS ![In: Tools and Algorithms for Construction and Analysis of Systems, 6th International Conference, TACAS 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings, pp. 331-346, 2000, Springer, 3-540-67282-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
9 | Johann Schumann |
PIL/SETHEO: A Tool for the Automatic Analysis of Authentication Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CAV ![In: Computer Aided Verification, 11th International Conference, CAV '99, Trento, Italy, July 6-10, 1999, Proceedings, pp. 500-504, 1999, Springer, 3-540-66202-2. The full citation details ...](Pics/full.jpeg) |
1999 |
DBLP DOI BibTeX RDF |
|
9 | Ora Canada |
Z/EVES Version 1.5: An Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FM-Trends ![In: Applied Formal Methods - FM-Trends 98, International Workshop on Current Trends in Applied Formal Method, Boppard, Germany, October 7-9, 1998, Proceedings, pp. 367-376, 1998, Springer, 3-540-66462-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
9 | Didier Bert, Catherine Oriat |
A Model Inference System for Generic Specification with Application to Code Sharing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAPSOFT ![In: TAPSOFT'95: Theory and Practice of Software Development, 6th International Joint Conference CAAP/FASE, Aarhus, Denmark, May 22-26, 1995, Proceedings, pp. 741-755, 1995, Springer, 3-540-59293-8. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
9 | Joshua E. Caplan, Mehdi T. Harandi |
A Logical Framework for Software Proof Reuse. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SSR ![In: Proceedings of the ACM SIGSOFT Symposium on Software Reusability, SSR@ICSE 1995, April 23-30, 1995, Seattle, WA, USA, pp. 106-113, 1995, ACM, 0-89791-739-1. The full citation details ...](Pics/full.jpeg) |
1995 |
DBLP DOI BibTeX RDF |
|
9 | David Alex Lamb, Kevin A. Schneider |
Formalization of information hiding design methods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CASCON ![In: Proceedings of the 1992 Conference of the Centre for Advanced Studies on Collaborative Research, November 9-12, 1992, Toronto, Ontario, Canada, 2 Volumes, pp. 201-214, 1992, IBM. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP BibTeX RDF |
|
7 | Zachary Snow, David Baelde, Gopalan Nadathur |
A meta-programming approach to realizing dependently typed logic programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PPDP ![In: Proceedings of the 12th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, July 26-28, 2010, Hagenberg, Austria, pp. 187-198, 2010, ACM, 978-1-4503-0132-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
dependently typed lambda calculi, higher-order logic programming, translation, logical frameworks |
7 | Michael Benedikt |
Analysis of declarative updates: invited talk. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EDBT/ICDT Workshops ![In: Proceedings of the 2010 EDBT/ICDT Workshops, Lausanne, Switzerland, March 22-26, 2010, 2010, ACM, 978-1-60558-990-9. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
|
7 | Richard Dapoigny, Patrick Barlatier |
Reasoning about Relations with Dependent Types: Application to Context-Aware Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ISMIS ![In: Foundations of Intelligent Systems, 18th International Symposium, ISMIS 2009, Prague, Czech Republic, September 14-17, 2009. Proceedings, pp. 171-180, 2009, Springer, 978-3-642-04124-2. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Lin Chen 0015, Baowen Xu, Tianlin Zhou, Xiaoyu Zhou |
A Constraint Based Bug Checking Approach for Python. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (2) ![In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 2, pp. 306-311, 2009, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Vasco Thudichum Vasconcelos |
Fundamentals of Session Types. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SFM ![In: Formal Methods for Web Services, 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures, pp. 158-186, 2009, Springer, 978-3-642-01917-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Zvonimir Rakamaric, Alan J. Hu |
A Scalable Memory Model for Low-Level Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VMCAI ![In: Verification, Model Checking, and Abstract Interpretation, 10th International Conference, VMCAI 2009, Savannah, GA, USA, January 18-20, 2009. Proceedings, pp. 290-304, 2009, Springer, 978-3-540-93899-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
7 | Deepak Mathaikutty, Sandeep K. Shukla |
MCF: A Metamodeling-Based Component Composition Framework - Composing SystemC IPs for Executable System Models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Very Large Scale Integr. Syst. ![In: IEEE Trans. Very Large Scale Integr. Syst. 16(7), pp. 792-805, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Andreas Gal, Christian W. Probst, Michael Franz |
Java bytecode verification via static single assignment form. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 30(4), pp. 21:1-21:21, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Java bytecode verification, dataflow analysis, static single assignment form |
7 | Frédéric Besson, Thomas P. Jensen, Tiphaine Turpin |
Computing Stack Maps with Interfaces. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings, pp. 642-666, 2008, Springer, 978-3-540-70591-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Raymond Hu, Nobuko Yoshida, Kohei Honda 0001 |
Session-Based Distributed Programming in Java. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP 2008 - Object-Oriented Programming, 22nd European Conference, Paphos, Cyprus, July 7-11, 2008, Proceedings, pp. 516-541, 2008, Springer, 978-3-540-70591-8. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
7 | Dirk Kleeblatt |
Checking Dependent Types Using Compiled Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFL ![In: Implementation and Application of Functional Languages, 19th International Workshop, IFL 2007, Freiburg, Germany, September 27-29, 2007. Revised Selected Papers, pp. 165-182, 2007, Springer, 978-3-540-85372-5. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
7 | James Sasitorn, Robert Cartwright |
Deriving components from genericity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2007 ACM Symposium on Applied Computing (SAC), Seoul, Korea, March 11-15, 2007, pp. 1109-1116, 2007, ACM, 1-59593-480-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Java implementation, custom class loader, first-class generics, components, signatures, modules |
7 | Andreas Abel 0001, Thierry Coquand, Peter Dybjer |
Normalization by Evaluation for Martin-Lof Type Theory with Typed Equality Judgements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LICS ![In: 22nd IEEE Symposium on Logic in Computer Science (LICS 2007), 10-12 July 2007, Wroclaw, Poland, Proceedings, pp. 3-12, 2007, IEEE Computer Society, 0-7695-2908-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Rasmus Johansen, Peter Sestoft, Stephan Spangenberg |
Zero-Overhead Composable Aspects for .NET. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Lipari Summer School ![In: Advances in Software Engineering, Lipari Summer School 2007, Lipari Island, Italy, July 8-21, 2007, Revised Tutorial Lectures, pp. 185-215, 2007, Springer, 978-3-540-89761-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Chunxiao Lin, Andrew McCreight, Zhong Shao, Yiyun Chen, Yu Guo |
Foundational Typed Assembly Language with Certified Garbage Collection. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China, pp. 326-338, 2007, IEEE Computer Society, 0-7695-2856-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
7 | Frédéric Blanqui, Colin Riba |
Combining Typing and Size Constraints for Checking the Termination of Higher-Order Conditional Rewrite Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic for Programming, Artificial Intelligence, and Reasoning, 13th International Conference, LPAR 2006, Phnom Penh, Cambodia, November 13-17, 2006, Proceedings, pp. 105-119, 2006, Springer, 3-540-48281-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
7 | Hei Ning Helen Ma, Lan Yang |
Improvement of Object Serialization in Java Remote Method Invocation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: Seventh International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2006), 19-20 June 2006, Las Vegas, Nevada, USA, pp. 35-42, 2006, IEEE Computer Society, 0-7695-2611-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
7 | Jianting Zhang, Deana Pennington, William Michener |
Validating Compositions of Geospatial Processing Web Services in a Scientific Workflow Environment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICWS ![In: 2005 IEEE International Conference on Web Services (ICWS 2005), 11-15 July 2005, Orlando, FL, USA, pp. 821-822, 2005, IEEE Computer Society, 0-7695-2409-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
7 | Edwin M. Westbrook, Aaron Stump, Ian Wehrman |
A language-based approach to functionally correct imperative programming. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFP ![In: Proceedings of the 10th ACM SIGPLAN International Conference on Functional Programming, ICFP 2005, Tallinn, Estonia, September 26-28, 2005, pp. 268-279, 2005, ACM, 1-59593-064-7. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
RSP, RSP1, program verification, dependent types |
7 | Wei-Ngan Chin, Siau-Cheng Khoo, Shengchao Qin, Corneliu Popeea, Huu Hai Nguyen |
Verifying safety policies with size properties and alias controls. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE ![In: 27th International Conference on Software Engineering (ICSE 2005), 15-21 May 2005, St. Louis, Missouri, USA, pp. 186-195, 2005, ACM. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
alias control, object-based programs, size properties, dependent types, safety verification |
7 | Wlodzimierz Drabent |
Towards Types for Web Rule Languages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Reasoning Web ![In: Reasoning Web, First International Summer School 2005, Msida, Malta, July 25-29, 2005, Tutorial Lectures, pp. 305-317, 2005, Springer, 3-540-27828-1. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
7 | Stephen Neuendorffer, Edward A. Lee |
Hierarchical reconfiguration of dataflow models. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 23-25 June 2004, San Diego, California, USA, Proceedings, pp. 179-188, 2004, IEEE Computer Society, 0-7803-8509-8. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
7 | Thomas Schwentick |
Trees, Automata and XML. (PDF / PS) ![Search on Bibsonomy](Pics/bibsonomy.png) |
PODS ![In: Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems, June 14-16, 2004, Paris, France, pp. 222, 2004, ACM, 1-58113-858-X. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
|
7 | Karina Olmos, Eelco Visser |
Turning Dynamic Typing into Static Typing by Program Specialization in a Compiler Front-end for Octave. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SCAM ![In: 3rd IEEE International Workshop on Source Code Analysis and Manipulation (SCAM 2003), 26-27 September 2003, Amsterdam, The Netherlands, pp. 141-150, 2003, IEEE Computer Society, 0-7695-2005-7. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
7 | Sanjeev Baskiyar |
Efficient Execution of Pure Object-Oriented Programs by Follow-up Compilation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computing ![In: Computing 69(4), pp. 273-289, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
AMS Subject Classifications: 68N20, 68N19, 68N15, 68N25 |
7 | Steve Zdancewic, Andrew C. Myers |
Secure Information Flow and CPS. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems, 10th European Symposium on Programming, ESOP 2001 Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2001 Genova, Italy, April 2-6, 2001, Proceedings, pp. 46-61, 2001, Springer, 3-540-41862-8. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
7 | Yefim Shuf, Mauricio J. Serrano, Manish Gupta 0002, Jaswinder Pal Singh |
Characterizing the memory behavior of Java workloads: a structured view and opportunities for optimizations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGMETRICS/Performance ![In: Proceedings of the Joint International Conference on Measurements and Modeling of Computer Systems, SIGMETRICS/Performance 2001, June 16-20, 2001, Cambridge, MA, USA, pp. 194-205, 2001, ACM, 1-58113-334-0. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
|
7 | Silvano Dal-Zilio, Andrew D. Gordon 0001 |
Region Analysis and a pi-Calculus wiht Groups. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MFCS ![In: Mathematical Foundations of Computer Science 2000, 25th International Symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000, Proceedings, pp. 1-20, 2000, Springer, 3-540-67901-4. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
7 | Thierry Coquand, Makoto Takeyama |
An Implementation of Type: Type. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TYPES ![In: Types for Proofs and Programs, International Workshop, TYPES 2000, Durham, UK, December 8-12, 2000, Selected Papers, pp. 53-62, 2000, Springer, 3-540-43287-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
7 | Joëlle Despeyroux |
A Higher-Order Specification of the pi-Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IFIP TCS ![In: Theoretical Computer Science, Exploring New Frontiers of Theoretical Informatics, International Conference IFIP TCS 2000, Sendai, Japan, August 17-19, 2000, Proceedings, pp. 425-439, 2000, Springer, 3-540-67823-9. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
|
7 | Blas C. Ruiz Jiménez |
Condensing Lemmas for Pure Type Systems with Universes. ![Search on Bibsonomy](Pics/bibsonomy.png) |
AMAST ![In: Algebraic Methodology and Software Technology, 7th International Conference, AMAST '98, Amazonia, Brasil, January 4-8, 1999, Proceedings, pp. 422-437, 1998, Springer, 3-540-65462-3. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
7 | K. Rustan M. Leino |
Recursive Object Types in a Logic of Object-Oriented Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESOP ![In: Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings, pp. 170-184, 1998, Springer, 3-540-64302-8. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
7 | Bernhard K. Aichernig, Peter Gorm Larsen |
A Proof Obligation Generator for VDM-SL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME '97: Industrial Applications and Strengthened Foundations of Formal Methods, 4th International Symposium of Formal Methods Europe, Graz, Austria, September 15-19, 1997, Proceedings, pp. 338-357, 1997, Springer, 3-540-63533-5. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
7 | E. J. Younger, Z. Luo, Keith H. Bennett, Tim M. Bull |
Reverse Engineering Concurrent Programs using Formal Modelling and Analysis. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSM ![In: 1996 International Conference on Software Maintenance (ICSM '96), 4-8 November 1996, Monterey, CA, USA, Proceedings, pp. 255-264, 1996, IEEE Computer Society, 0-8186-7677-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
Formal methods, concurrency, reverse engineering, program transformations, type theory |
7 | Alexandra Poulovassilis, Mark Levene |
A Nested-Graph Model for the Representation and Manipulation of Complex Objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Inf. Syst. ![In: ACM Trans. Inf. Syst. 12(1), pp. 35-68, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
nested graph, object store, rule-based query and update language, types, complex object |
7 | Patricia M. Hill |
The Completion of Typed Logic Programs and SLDNF-Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LPAR ![In: Logic Programming and Automated Reasoning,4th International Conference, LPAR'93, St. Petersburg, Russia, July 13-20, 1993, Proceedings, pp. 182-193, 1993, Springer, 3-540-56944-8. The full citation details ...](Pics/full.jpeg) |
1993 |
DBLP DOI BibTeX RDF |
|
7 | Chung-Shyan Liu |
On the object-orientedness of C++. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGPLAN Notices ![In: ACM SIGPLAN Notices 26(3), pp. 63-67, 1991. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
C++ |
7 | Hans Bruun, Bo Stig Hansen, Flemming M. Damm |
An Approach to the Static Semantics of VDM-SL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
VDM Europe (1) ![In: VDM '91 - Formal Software Development, 4th International Symposium of VDM Europe, Noordwijkerhout, The Netherlands, October 21-25, 1991, Proceedings, Volume 1: Conference Contributions, pp. 220-253, 1991, Springer, 3-540-54834-3. The full citation details ...](Pics/full.jpeg) |
1991 |
DBLP DOI BibTeX RDF |
|
7 | Stephen C. Dewhurst |
Object Representation of Scope During Translation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECOOP ![In: ECOOP'87 European Conference on Object-Oriented Programming, Paris, France, June 15-17, 1987, Proceedings, pp. 71-78, 1987, Springer, 3-540-18353-1. The full citation details ...](Pics/full.jpeg) |
1987 |
DBLP DOI BibTeX RDF |
|
7 | Hans-Juergen Boehm, Alan J. Demers |
Implementing RUSSELL. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGPLAN Symposium on Compiler Construction ![In: Proceedings of the 1986 SIGPLAN Symposium on Compiler Construction, Palo Alto, California, USA, June 25-27, 1986, pp. 186-195, 1986, ACM, 0-89791-197-0. The full citation details ...](Pics/full.jpeg) |
1986 |
DBLP DOI BibTeX RDF |
RUSSELL |
7 | James E. Donahue, Alan J. Demers |
Data Types Are Values. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Program. Lang. Syst. ![In: ACM Trans. Program. Lang. Syst. 7(3), pp. 426-445, 1985. The full citation details ...](Pics/full.jpeg) |
1985 |
DBLP DOI BibTeX RDF |
RUSSELL |
7 | Burt M. Leavenworth |
A Data Abstraction Approach to Database Modelling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Workshop on Data Abstraction, Databases and Conceptual Modelling ![In: Proceedings of the Workshop on Data Abstraction, Databases and Conceptual Modelling, Pingree Park, Colorado, USA, June 23-26, 1980, pp. 147-149, 1980, ACM Press, 0-89791-031-1. The full citation details ...](Pics/full.jpeg) |
1980 |
DBLP DOI BibTeX RDF |
|
5 | Jeremy G. Siek |
General purpose languages should be metalanguages. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2010 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation, PEPM 2010, Madrid, Spain, January 18-19, 2010, pp. 3-4, 2010, ACM, 978-1-60558-727-1. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
domain-specific embedded languages, reflection, metaprogramming, multi-stage programming |
5 | David Lievens, William Harrison |
Symmetric encapsulated multi-methods to abstract over application structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 1873-1880, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
symmetric methods, software evolution, type system, language design, multiple dispatch |
5 | Chengyun Chu |
Introduction to Microsoft .NET Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Secur. Priv. ![In: IEEE Secur. Priv. 6(6), pp. 73-78, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
5 | Arvind, Rishiyur S. Nikhil |
Hands-on Introduction to Bluespec System Verilog (BSV) (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
MEMOCODE ![In: 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), June 5-7, 2008, Anaheim, CA, USA, pp. 205-206, 2008, IEEE Computer Society, 978-1-4244-2417-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
5 | Nik Sultana, Simon J. Thompson |
Mechanical verification of refactorings. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PEPM ![In: Proceedings of the 2008 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-based Program Manipulation, PEPM 2008, San Francisco, California, USA, January 7-8, 2008, pp. 51-60, 2008, ACM, 978-1-59593-977-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
refactoring, Isabelle/HOL |
5 | Joseph L. Greathouse, Ilya Wagner, David A. Ramos, Gautam Bhatnagar, Todd M. Austin, Valeria Bertacco, Seth Pettie |
Testudo: Heavyweight security analysis via statistical sampling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MICRO ![In: 41st Annual IEEE/ACM International Symposium on Microarchitecture (MICRO-41 2008), November 8-12, 2008, Lake Como, Italy, pp. 117-128, 2008, IEEE Computer Society, 978-1-4244-2836-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
5 | Jean-François Raskin, Frédéric Servais |
Visibly Pushdown Transducers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICALP (2) ![In: Automata, Languages and Programming, 35th International Colloquium, ICALP 2008, Reykjavik, Iceland, July 7-11, 2008, Proceedings, Part II - Track B: Logic, Semantics, and Theory of Programming & Track C: Security and Cryptography Foundations, pp. 386-397, 2008, Springer, 978-3-540-70582-6. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
Displaying result #501 - #600 of 693 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ >>] |
|