swMATH16204MaRDI QIDQ28074FDOQ28074
Author name not available (Why is that?)
Official website: http://dl.acm.org/citation.cfm?id=503505
Cited In (only showing first 100 items - show all)
- Semantic essence of AsmL
- A domain-theoretic model of nominally-typed object-oriented programming
- COSTA
- simpA
- Lambda Library C++
- Smalltalk
- ArcAngel
- SafeDpi
- JoCaml
- ANTLR
- HOL-Z
- BETA
- CLOS
- Eiffel
- Visual C#
- AspectJ
- JavaScript
- Erlang
- Scala
- MontiCore
- ETCH
- SymmExtractor
- Creol
- KLAIM
- Linda
- Multilisp
- WADE
- Cyclone
- Soot
- COSTABS
- Cecil
- PLT Redex
- Paco
- APMC
- CArtAgO
- Jadex
- SDEF
- XDuce
- Fortress
- PolyTOIL
- TS#
- ADABU
- CoALP
- go
- Ruby
- Jif
- SPLLIFT
- Effect-polymorphic behaviour inference for deadlock checking
- Goblint
- JFlow
- ABS
- SCEL
- JCobox
- TAG
- Simula 67
- gradualizerDynamicSemantics
- ContextFJ
- FJQuantum
- SPECjvm2008
- CoCaml
- Helena
- TypeScript
- Ilea
- JNIL
- ocaml-cyclist
- Rover
- Tribe
- MJ
- CaesarJ
- DeltaJ
- FeatureC++
- gbeta
- HyVar
- JavAdaptor
- Welterweight Java
- Dylan
- F#
- ABCL
- coFJ
- JCop
- KQML
- MetaFJig
- Flow
- SableCC
- DEECO
- Ruler
- TAJ
- simpA: an agent-oriented approach for programming concurrent applications on top of Java
- Silq
- SmartCheck
- TFA
- ReSpecT
- TuSoW
- FJQuantum. A quantum object oriented language
- An extensible encoding of object-oriented data models in HOL. With an application to IMP++
- Creol: A type-safe object-oriented model for distributed concurrent systems
- Type Inference by Coinductive Logic Programming
- CoCaml: functional programming with regular coinductive types
- Backwards type analysis of asynchronous method calls
- On the reification of Java wildcards
This page was built for software: Featherweight Java